Proof-Based System Engineering and Embedded Systems
نویسنده
چکیده
We introduce basic principles that underlie proof-based system engineering, an engineering discipline aimed at computer-based systems. This discipline serves to avoid system engineering faults. It is based upon fulfilling proof obligations, notably establishing proofs that decisions regarding system design and system dimensioning are correct, before embarking on the implementation or the fielding of a computer-based system. We also introduce a proof-based system engineering method which has been applied to diverse projects involving embedded systems. These projects are presented and lessons learned are reported. An analysis of the Ariane 5 Flight 501 failure serves to illustrate how proof-based system engineering also helps in diagnosing causes of failures.
منابع مشابه
A New Type-2 Fuzzy Systems for Flexible-Joint Robot Arm Control
In this paper an adaptive neuro fuzzy inference system based on interval Gaussian type-2 fuzzy sets in the antecedent part and Gaussian type-1 fuzzy sets as coefficients of linear combination of input variables in the consequent part is presented. The capability of the proposed method (we named ANFIS2) to function approximation and dynamical system identification is shown. The ANFIS2 structure ...
متن کاملNonlocal Vibration of Embedded Coupled CNTs Conveying Fluid Under Thermo-Magnetic Fields Via Ritz Method
In this work, nonlocal vibration of double of carbon nanotubes (CNTs) system conveying fluid coupled by visco-Pasternak medium is carried out based on nonlocal elasticity theory where CNTs are placed in uniform temperature change and magnetic field. Considering Euler-Bernoulli beam (EBB) model and Knudsen number, the governing equations of motion are discretized and Ritz method is applied to ob...
متن کاملAGV (automated guided vehicle) robot: Mission and obstacles in design and performance
The AGV (automated guided vehicle) was introduced in UK in 1953 for transporting. But nowadays, due to their high efficiency, flexibility, reliability, safety and system scalability, they are used in various application in industries. In brief, the AGV robot is a system which typically made up of vehicle chassis, embedded controller, motors, drivers, navigation and collision avoidance sensors, ...
متن کاملImplementation Techniques for Supporting Component Based Embedded Systems
The use of a careful domain engineering is essential to achieve the level of portability and efficiency demanded by embedded systems. The Application Driven Embedded System Design (ADESD) methodology guides the development of application-oriented embedded systems from domain analysis to implementation, and uses several software engineering and implementation techniques to achieve this goal. Thi...
متن کاملModel-Based Development of Embedded Systems
Model-based development relies on the use of explicit models to describe development activities and products. Explicit process and product models allow the definition and use of complex development steps that are correct by design, the generation of proof obligations for a given transformation, requirements tracing, and documentation of the process. We argue that the concept of model-based deve...
متن کامل